More from this Author
Found 20 books by Agostino Cortesi (Editor)
Challenges of Software Verification
by Vincenzo Arceri (Editor), Agostino Cortesi (Editor), Pietro Ferrara (Editor), Martina Olliaro (Editor)
Static Analysis
by Agostino Cortesi (Editor), Gilberto File (Editor)
Proceedings of International Conference on Computational Intelligence and Data Engineering
by Nabendu Chaki (Editor), Agostino Cortesi (Editor), Nagaraju Devarakonda (Editor)
Advanced Computing and Systems for Security
by Rituparna Chaki (Editor), Agostino Cortesi (Editor), Khalid Saeed (Editor), Nabendu Chaki (Editor)
Advanced Computing and Systems for Security
by Rituparna Chaki (Editor), Agostino Cortesi (Editor), Khalid Saeed (Editor), Nabendu Chaki (Editor)
Advanced Computing and Systems for Security
by Rituparna Chaki (Editor), Khalid Saeed (Editor), Agostino Cortesi (Editor), Nabendu Chaki (Editor)
Advanced Computing and Systems for Security
by Rituparna Chaki (Editor), Agostino Cortesi (Editor), Khalid Saeed (Editor), Nabendu Chaki (Editor)
Static Analysis
by Agostino Cortesi (Editor), Gilberto File (Editor)
Advanced Computing and Systems for Security
by Rituparna Chaki (Editor), Agostino Cortesi (Editor), Khalid Saeed (Editor), Nabendu Chaki (Editor)
Advanced Computing and Systems for Security
by Rituparna Chaki (Editor), Agostino Cortesi (Editor), Khalid Saeed (Editor), Nabendu Chaki (Editor)
Advanced Computing and Systems for Security
by Rituparna Chaki (Editor), Agostino Cortesi (Editor), Khalid Saeed (Editor), Nabendu Chaki (Editor)
Verification, Model Checking, and Abstract Interpretation
by Lenore D. Zuck (Editor), Paul D. Attie (Editor), Agostino Cortesi (Editor)
Advanced Computing and Systems for Security
by Rituparna Chaki (Editor), Agostino Cortesi (Editor), Khalid Saeed (Editor), Nabendu Chaki (Editor)
Advanced Computing and Systems for Security
by Rituparna Chaki (Editor), Agostino Cortesi (Editor), Khalid Saeed (Editor), Nabendu Chaki (Editor)
Verification, Model Checking, and Abstract Interpretation
by Agostino Cortesi (Editor)
Advanced Computing and Systems for Security
by Rituparna Chaki (Editor), Agostino Cortesi (Editor), Khalid Saeed (Editor), Nabendu Chaki (Editor)
Computer Information Systems and Industrial Management
by Khalid Saeed (Editor), Rituparna Chaki (Editor), Agostino Cortesi (Editor), Sł, awomir Wierzchoń, (Editor)
Advanced Computing and Systems for Security
by Rituparna Chaki (Editor), Agostino Cortesi (Editor), Khalid Saeed (Editor), Nabendu Chaki (Editor)
Advanced Computing and Systems for Security
by Rituparna Chaki (Editor), Agostino Cortesi (Editor), Khalid Saeed (Editor), Nabendu Chaki (Editor)
Advanced Computing and Systems for Security
by Rituparna Chaki (Editor), Agostino Cortesi (Editor), Khalid Saeed (Editor), Nabendu Chaki (Editor)